lifted idempotents

升腾幂等